Merge branch 'listbox-separators' into 'master'
authorBenjamin Otte <otte.benjamin@googlemail.com>
Sat, 13 Apr 2019 00:38:14 +0000 (00:38 +0000)
committerBenjamin Otte <otte.benjamin@googlemail.com>
Sat, 13 Apr 2019 00:38:14 +0000 (00:38 +0000)
Listbox separators

See merge request GNOME/gtk!747


Trivial merge